Formulated problem verification as an explicit requirement of model credibility
نویسندگان
چکیده
منابع مشابه
An Explicit Model of Belief Change for Cryptographic Protocol Verification
Cryptographic protocols are structured sequences of messages that are used for exchanging information in a hostile environment. Many protocols have epistemic goals: a successful run of the protocol is intended to cause a participant to hold certain beliefs. As such, epistemic logics have been employed for the verification of cryptographic protocols. Although this approach to verification is exp...
متن کاملPose verification as an optimal assignment problem
Bhandarkar, S.M. and M. Suk, Pose verification as an optimal assignment problem, Pattern Recognition Letters 12 (1991) 45-53. ' In this paper we propose a feature comparison based technique for pose verification for 3-D object recognition and localization from range images. The proposed technique treats the pose verification problem as an optimal assigmnent problem and could be looked upon as a...
متن کاملModel-based Requirement Verification : A Case Study
This paper presents a complete case study that takes a real Fuel Display System element used in Scania Trucks and applies an unified process for modelling system requirements together with the system itself and verifying these requirements in a structured manner. In order to achieve this process the system is modeled in Modelica, and requirement verification scenarios are specified in ModelicaM...
متن کاملcost benefits of rehabilitation after acute coronary syndrome in iran; using an epidemiological model
چکیده ندارد.
an application of equilibrium model for crude oil tanker ships insurance futures in iran
با توجه به تحریم های بین المملی علیه صنعت بیمه ایران امکان استفاده از بازارهای بین المملی بیمه ای برای نفتکش های ایرانی وجود ندارد. از طرفی از آنجایی که یکی از نوآوری های اخیر استفاده از بازارهای مالی به منظور ریسک های فاجعه آمیز می باشد. از اینرو در این پایان نامه سعی شده است با استفاده از این نوآوری ها با طراحی اوراق اختیارات راهی نو جهت بیمه گردن نفت کش های ایرانی ارائه نمود. از آنجایی که بر...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SIMULATION
سال: 1985
ISSN: 0037-5497,1741-3133
DOI: 10.1177/003754978504500204